object TBourbakiDoc
  ActivePage = 4
  object CZPEX0S2D00KTWZHH13N3WUYXW: TOpScheme
    Caption = #1057#1093#1077#1084#1072' '#1089#1080#1085#1090#1077#1079#1072
    PageIndex = 4
    object EDX5ZU0NXGALQ0K2HRGUTXGBFH: TOSNode
      X = 746.000000000000000000
      Y = 441.000000000000000000
      Scheme = _198337A10BE0420AB90F516A1DF36C6B
    end
    object CLXGICKB4BX0Q4LI2WFVP055EG: TOSNode
      X = 431.000000000000000000
      Y = 444.000000000000000000
      Scheme = _9AF178E775D34D809FBF6C1B1A2D56F5
    end
    object FBAYDA0IRPDWT0LWGQNGEFJ0DY: TOSNode
      X = 96.000000000000000000
      Y = 256.000000000000000000
      Scheme = _2D940A6BBDAB4C6887E7F1993BB67ADC
    end
    object GYWDCAHODNSORMJH1RW0R2AHLT: TOSNode
      X = 139.000000000000000000
      Y = 443.000000000000000000
      Scheme = _8BB2BF6192384331A80249A2603056D3
    end
    object E42AKXEPT31CS4JL2PYRE52PY5: TOSNode
      X = 561.000000000000000000
      Y = 253.000000000000000000
      Scheme = CA1P4BJ2RFNFS0YWU2KSGZNR3F
    end
    object EAP22LFFP2GSRKYV1IGH4CFURI: TOSNode
      X = 287.000000000000000000
      Y = 250.000000000000000000
      Scheme = AYOSU0BJZDLLT00DTLE3AAV45N
    end
    object E2AJHAUXFO4KQW0L5WLDMQKOYN: TOSNode
      X = 415.000000000000000000
      Y = 110.000000000000000000
      Scheme = HRHEK2ZG4EKIRGYLIVVGSKCSKI
    end
    object GWOFYWN4F0ELQ4IVRSEIWECGDA: TOSEdge
      SubNode = CZPEX0S2D00KTWZHH13N3WUYXW.EDX5ZU0NXGALQ0K2HRGUTXGBFH
      Node = CZPEX0S2D00KTWZHH13N3WUYXW.E42AKXEPT31CS4JL2PYRE52PY5
      Label_.Caption = 'X1'
    end
    object BPBOOMB3EIJQRELWEWQULHMR1W: TOSEdge
      SubNode = CZPEX0S2D00KTWZHH13N3WUYXW.CLXGICKB4BX0Q4LI2WFVP055EG
      Node = CZPEX0S2D00KTWZHH13N3WUYXW.E42AKXEPT31CS4JL2PYRE52PY5
      Label_.Caption = 'D1'
    end
    object FO0XFOO2PPO1RKIDKWHUGTYTP2: TOSEdge
      SubNode = CZPEX0S2D00KTWZHH13N3WUYXW.CLXGICKB4BX0Q4LI2WFVP055EG
      Node = CZPEX0S2D00KTWZHH13N3WUYXW.EAP22LFFP2GSRKYV1IGH4CFURI
      Label_.Caption = 'D1'
    end
    object DAMI3QW3Y1JNTMJ34YWKJ22GG4: TOSEdge
      SubNode = CZPEX0S2D00KTWZHH13N3WUYXW.GYWDCAHODNSORMJH1RW0R2AHLT
      Node = CZPEX0S2D00KTWZHH13N3WUYXW.EAP22LFFP2GSRKYV1IGH4CFURI
      Label_.Caption = 'X1'
    end
    object CGQPBH1CQJVHSOYQ3GZVZJQFRS: TOSEdge
      SubNode = CZPEX0S2D00KTWZHH13N3WUYXW.E42AKXEPT31CS4JL2PYRE52PY5
      Node = CZPEX0S2D00KTWZHH13N3WUYXW.E2AJHAUXFO4KQW0L5WLDMQKOYN
      Label_.Caption = 'X1'
    end
    object AABHIEI13GUSQQKBDOHA1XHKI0: TOSEdge
      SubNode = CZPEX0S2D00KTWZHH13N3WUYXW.EAP22LFFP2GSRKYV1IGH4CFURI
      Node = CZPEX0S2D00KTWZHH13N3WUYXW.E2AJHAUXFO4KQW0L5WLDMQKOYN
      Label_.Caption = 'Tr6'
    end
  end
  object _198337A10BE0420AB90F516A1DF36C6B: TConceptualScheme
    Caption = #1060#1091#1085#1082#1094#1080#1103
    PageIndex = 3
    TraceTo = (
      CA1P4BJ2RFNFS0YWU2KSGZNR3F)
    object GBKWW2K3DLIVSELRT1TKD4CKTP: TConstituent
      CName = 'X1'
      TraceTo = (
        CA1P4BJ2RFNFS0YWU2KSGZNR3F
        BCZ0SBDN5RJTQQ0PDDCDO2YLMY)
    end
    object DRQISGWZTV5TSCK4ZSZI14DJH3: TConstituent
      CName = 'X2'
      TraceTo = (
        A1NK3LVYONGRQOJ2VUQ5UJ1WIF)
    end
    object A32SDYJBICWGTIIURD1JRA5L23: TConstituent
      CName = 'D1'
      Expression = #8492'(X1'#215'X2)'
      TraceTo = (
        E2MX4AWL2LLSSCYW2LAWZYVMQX)
    end
    object DTZK5XM12VXGRKJW5TQ42DZAQW: TConstituent
      CName = 'Ax1'
      Expression = #8704'x'#8712'X1,'#8707'y'#8712'X2((x,y)'#8712'D1)'
      Interpretation = #1042#1089#1102#1076#1091#1086#1087#1088#1077#1076#1077#1083#1105#1085#1085#1086#1089#1090#1100
      TraceTo = (
        DXSZOGKARRMDRGKPIFBY5OOJL0)
    end
    object EDAB55ZQRYRYSC11XKTMU0SV2F: TConstituent
      CName = 'Ax2'
      Expression = #8704'd1'#8712'D1,'#8704'd2'#8712'D1((pr1(d1)=pr1(d2))'#8658'(pr2(d1)=pr2(d2)))'
      Interpretation = #1055#1088#1103#1084#1072#1103' '#1086#1076#1085#1086#1079#1085#1072#1095#1085#1086#1089#1090#1100
      TraceTo = (
        CSSPW524U11LSYISBVQUJA4SYA)
    end
    object BKZAQJVDVXJRTQJLFS1UU3AEG4: TConstituent
      CName = 'Tr1'
      Expression = 'Pr1(D1)'
      Interpretation = #1054#1073#1083#1072#1089#1090#1100' '#1086#1087#1088#1077#1076#1077#1083#1077#1085#1080#1103
      TraceTo = (
        BF35PTJIPWXXS2KMEE2KJM4JAY)
    end
    object EELYCPL3IW5ET41YXZ4RNAGJUR: TConstituent
      CName = 'Tr2'
      Expression = 'Pr2(D1)'
      Interpretation = #1054#1073#1083#1072#1089#1090#1100' '#1079#1085#1072#1095#1077#1085#1080#1081
      TraceTo = (
        FWAFN23FMPFZT01SFOG0C3R5UO)
    end
    object B53LPCSHHSLFRWKQWC2SM4OER4: TConstituent
      CName = 'Tr3'
      Expression = '{t '#8712' X2 '#215' '#8492'(X1) | pr2(t) = {x '#8712' X1 | ( x, pr1(t) ) '#8712' D1 } }'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1079#1085#1072#1095#1077#1085#1080#1077' '#1092#1091#1085#1082#1094#1080#1080'; '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1072#1088#1075#1091#1084#1077#1085#1090#1086#1074', '#1087#1088#1080' '#1082#1086#1090#1086#1088 +
        #1099#1093' '#1092#1091#1085#1082#1094#1080#1103' '#1087#1088#1080#1085#1080#1084#1072#1077#1090' '#1076#1072#1085#1085#1086#1077' '#1079#1085#1072#1095#1077#1085#1080#1077'.'
      TraceTo = (
        GDL02IY343RLSSZ4AQEZVQ5ZW0)
    end
  end
  object _9AF178E775D34D809FBF6C1B1A2D56F5: TConceptualScheme
    Caption = #1043#1088#1072#1092' '#1090#1080#1087#1072' "'#1076#1077#1088#1077#1074#1086'"'
    PageIndex = 1
    TraceTo = (
      CA1P4BJ2RFNFS0YWU2KSGZNR3F
      AYOSU0BJZDLLT00DTLE3AAV45N)
    object GLMLROS030K3SCKC5FVVTLRYQ0: TConstituent
      CName = 'X1'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1074#1077#1088#1096#1080#1085
      TraceTo = (
        B2M1SL3SRYIJQCKBEUG2OV1EK5
        GNZYDHF3RUWRTM1AROY3BCZTPD)
    end
    object D203QMJYLXAPTCJL1J3UFEAOXM: TConstituent
      CName = 'D1'
      Expression = #8492'(X1'#215'X1)'
      TraceTo = (
        CA1P4BJ2RFNFS0YWU2KSGZNR3F
        BCZ0SBDN5RJTQQ0PDDCDO2YLMY
        AYOSU0BJZDLLT00DTLE3AAV45N
        F2MVCUMXL4HMRGIBYCITM1ARGK)
    end
    object HP2JUHTTXXH4QE14SAX2PWFGDI: TConstituent
      CName = 'Tr1'
      Expression = 'Pr1(D1)\Pr2(D1)'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1085#1072#1095#1072#1083#1100#1085#1099#1093' '#1074#1077#1088#1096#1080#1085
      TraceTo = (
        GOPQMF2RRPMKSULWW2JO1XREMP
        AHKY5LWNMMI4TULFI0GMFJJ2UF)
    end
    object BZCE3J3YEHSXRAZWDZRFMNYZ4X: TConstituent
      CName = 'Tr2'
      Expression = 'Pr2(D1)\Pr1(D1)'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1082#1086#1085#1077#1095#1085#1099#1093' '#1074#1077#1088#1096#1080#1085
      TraceTo = (
        ADZ3TJQMXHB2QQLLNOL44U1PWI
        EZVCSIANOEUDQS13BIFBRWUOAW)
    end
    object GKTDEIGTYGBCRA1LLXHMBZCZDR: TConstituent
      CName = 'Ax1'
      Expression = 'card(Tr1)=1'
      Interpretation = #1057#1091#1097#1077#1089#1090#1074#1091#1077#1090' '#1077#1076#1080#1085#1089#1090#1074#1077#1085#1085#1072#1103' '#1085#1072#1095#1072#1083#1100#1085#1072#1103' '#1074#1077#1088#1096#1080#1085#1072
      TraceTo = (
        ERNPM2YSMH4XSMZLZIA54QRGXF
        AGUMKS2FDPWFRC1L4ZI1ZFRL4N)
    end
    object AC4QF2AVPTH2SIYWWI03YZMYYE: TConstituent
      CName = 'Ax2'
      Expression = #8704'E'#8838'D1(Pr1(E)'#8800'Pr2(E))'
      Interpretation = #1054#1090#1089#1091#1090#1089#1090#1074#1080#1077' '#1094#1080#1082#1083#1086#1074' '#1080' '#1087#1077#1090#1077#1083#1100
      TraceTo = (
        EZOJAMZDOYK4S4KLO3ZB5HBX5Y
        CCIBILX3DCVZR0IQRZ5ZJOW4WZ)
    end
    object FF0CL43VZDIVRW1Q2CZW3LLC32: TConstituent
      CName = 'Ax3'
      Expression = #8704'd1'#8712'D1,'#8704'd2'#8712'D1((pr2(d1)=pr2(d2))'#8658'(d1=d2))'
      Interpretation = #1042' '#1074#1077#1088#1096#1080#1085#1091' '#1084#1086#1078#1077#1090' '#1074#1093#1086#1076#1080#1090#1100' '#1090#1086#1083#1100#1082#1086' '#1086#1076#1085#1072' '#1076#1091#1075#1072
      TraceTo = (
        C0MKCXMNPQ4OSQZDYEACGNTSTA
        CHCKDLZGYSI0TW02KQWP3QHLCJ)
    end
    object C30KM3LJNPWUSM0ZFDDW5OG5NU: TConstituent
      CName = 'Tr3'
      Expression = 'debool(Tr1)'
      Interpretation = #1053#1072#1095#1072#1083#1100#1085#1072#1103' '#1074#1077#1088#1096#1080#1085#1072
      TraceTo = (
        E0RNT2LPXLM3SA1GIBSASXXEJ2
        CJMRQNFG5Q1ZTOLRLUYJK3FWYV)
    end
    object EKBUBQ1XGMGUR41UT23Z0PJUOV: TConstituent
      CName = 'Tr4'
      Expression = '{t '#8712' X1 '#215' '#8492'(X1) | pr2(t) = {x '#8712' X1 | (pr1(t), x) '#8712' D1}}'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1074#1077#1088#1096#1080#1085', '#1085#1077#1087#1086#1089#1088#1077#1076#1089#1090#1074#1077#1085#1085#1086' '#1089#1083#1077#1076#1091#1102 +
        #1097#1080#1093' '#1079#1072' '#1076#1072#1085#1085#1086#1081
      TraceTo = (
        DFMNELMGFNHNQYYGIEQSYYJ0UL
        CU4G5BFCS0CJTC1MZIMGFL2ULE)
    end
    object DDVOS2T0APXWTAI0FFZQ0HVV2G: TConstituent
      CName = 'Tr5'
      Expression = 
        '{t '#8712'X1'#215#8492'(X1) | pr2(t) = {x '#8712' X1|'#8707'E'#8838'D1((Pr1(E)\Pr2(E)=bool(pr1(t)' +
        '))&(Pr2(E)\Pr1(E)=bool(x))) }}'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1077#1105' '#1085#1080#1078#1085#1077#1077' '#1079#1072#1084#1099#1082#1072#1085#1080#1077
      TraceTo = (
        ETOF2CY3LJHES40RBWAIB5SF4I
        HQ4XNALF1HMNRWZQ5N4DSIK204)
    end
    object EEQKJXUCEKGJQGL0WH5SKBN3C3: TConstituent
      CName = 'Tr6'
      Expression = 
        '{t '#8712'X1'#215#8492'(X1) | pr2(t) = {x '#8712' X1|'#8707'E'#8838'D1((Pr2(E)\Pr1(E)=bool(pr1(t)' +
        '))&(Pr1(E)\Pr2(E)=bool(x))) }}'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1077#1105' '#1074#1077#1088#1093#1085#1077#1077' '#1079#1072#1084#1099#1082#1072#1085#1080#1077
      TraceTo = (
        HQMZMMCR1ZY1QO0QG0DRML0XNF
        BMKRFJ2ZOQALTQJ35SD5ZKHRRE)
    end
    object GTS3HGXDIJT0QMIYUYXP4YPWD1: TConstituent
      CName = 'Tr7'
      Expression = 
        '{t '#8712'X1'#215#8492'(X1) | '#8707'y1'#8712'Tr6 (pr1(y1) = pr1(t))&(pr2(t)={x '#8712' X1| '#8707'y2'#8712'T' +
        'r6 (pr1(y2) = x) & (card (pr2(y2)) > card (pr2(y1)))})}'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1074#1077#1088#1096#1080#1085#1099' '#1073#1086#1083#1100#1096#1077#1075#1086' '#1088#1072#1085#1075#1072
      TraceTo = (
        GPGUEZ3PNMKBQKLQ20Y4LSJE2S
        BQM0LLYN34FDQEJCH4QQUXMXII)
    end
  end
  object _2D940A6BBDAB4C6887E7F1993BB67ADC: TConceptualScheme
    Caption = #1058#1077#1089#1090' '#1088#1072#1079#1073#1086#1088#1072' '#1089#1090#1091#1087#1077#1085#1077#1081
    PageIndex = 2
    object AKL5BNZAOAZNTA0TX0UPMBX33F: TConstituent
      CName = 'X1'
    end
    object FKXXEMWXBVEYSWJOKUIEPDGR30: TConstituent
      CName = 'X2'
    end
    object AGGJWGQK4PSYTO04XDZHUS5UXG: TConstituent
      CName = 'D1'
      Expression = '(X1'#215'X2)'#215'X2'#215'X1'
    end
    object HX2AHHLNSKJORWLB2HS52LBKEN: TConstituent
      CName = 'D2'
      Expression = '(X1'#215'X2)'#215'X2'
    end
    object HHRIRDMPUC2RTGJIZ5FJ51VPIH: TConstituent
      CName = 'D3'
      Expression = 'X1'#215'X2'#215'X2'#215'X1'
    end
    object EGYLTZZ4QK44RYLMCFUDHU1YV0: TConstituent
      CName = 'D4'
      Expression = 'X1'#215'(X2'#215'X2'#215'X1'#215'X1)'
    end
    object EM3QBRKG0FICQWZCS0ZUSBF0K1: TConstituent
      CName = 'D5'
      Expression = #8492#8492#8492#8492#8492'(X1'#215'X2'#215'X2)'#215#8492'(X1)'
    end
  end
  object _8BB2BF6192384331A80249A2603056D3: TConceptualScheme
    Caption = #1057#1077#1090#1100' '#1088#1072#1073#1086#1090
    PageIndex = 0
    TraceTo = (
      AYOSU0BJZDLLT00DTLE3AAV45N)
    object BGWLWFGTOY3HQUIMAWNFOMTBCL: TConstituent
      CName = 'X1'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1086#1089#1090#1086#1103#1085#1080#1081
      TraceTo = (
        AYOSU0BJZDLLT00DTLE3AAV45N
        F2MVCUMXL4HMRGIBYCITM1ARGK)
    end
    object HUEELAE5WSQBQCIV4PZMR5KVPY: TConstituent
      CName = 'C1'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1076#1083#1080#1090#1077#1083#1100#1085#1086#1089#1090#1077#1081
      TraceTo = (
        GGKHQCQXU4J4TSKCK5EMA3LE2U)
    end
    object DKMYF40DWDYMQK0LCSDHYBO1OV: TConstituent
      CName = 'C2'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1085#1072#1090#1091#1088#1072#1083#1100#1085#1099#1093' '#1095#1080#1089#1077#1083
      TraceTo = (
        FJVAU50KYOTLTU13RJKDPXWCOZ)
    end
    object ASRBSDTJGGGHR4L1QQAVLAK4GL: TConstituent
      CName = 'D1'
      Expression = #8492'(X1'#215'X1'#215'C1)'
      Interpretation = 
        #1057#1077#1090#1100' '#1088#1072#1073#1086#1090': '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1090#1088#1086#1077#1082' "'#1085#1072#1095#1072#1083#1100#1085#1086#1077' '#1089#1086#1089#1090#1086#1103#1085#1080#1077', '#1082#1086#1085#1077#1095#1085#1086#1077' '#1089#1086#1089#1090#1086 +
        #1103#1085#1080#1077', '#1087#1083#1072#1085#1086#1074#1072#1103' '#1076#1083#1080#1090#1077#1083#1100#1085#1086#1089#1090#1100'"'
      TraceTo = (
        EYQEVQ0SAWEWR2LEQRQQNGBCHU)
    end
    object D2TOX2LZ0JCMR0LCI0VROPCV0X: TConstituent
      CName = 'D2'
      Expression = #8492'(X1'#215'C2)'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1089#1086#1089#1090#1086#1103#1085#1080#1077', '#1077#1075#1086' '#1085#1086#1084#1077#1088
      TraceTo = (
        EKEC5THZQAKTRKJ0ML35XMC12H)
    end
    object AWWOPX3MCQ1KS0JSC1MBIWGNEO: TConstituent
      CName = 'Ax1'
      Expression = #8704'E'#8838'D1(Pr1(E)'#8800'Pr2(E))'
      Interpretation = #1054#1090#1089#1091#1090#1089#1090#1074#1080#1077' '#1094#1080#1082#1083#1086#1074' '#1080' '#1087#1077#1090#1077#1083#1100
      TraceTo = (
        ADUFN1VSDDY0RW0CPLU3QY3KOB)
    end
    object A4ZGOXGFHN2OSYK0CC1K4ICIPE: TConstituent
      CName = 'Ax2'
      Expression = 'card(Pr1(D1)\Pr2(D1)) = 1'
      Interpretation = #1057#1091#1097#1077#1089#1090#1074#1091#1077#1090' '#1077#1076#1080#1085#1089#1090#1074#1077#1085#1085#1086#1077' '#1085#1072#1095#1072#1083#1100#1085#1086#1077' '#1089#1086#1089#1090#1086#1103#1085#1080#1077
      TraceTo = (
        FMXB55U1CVT5TQLIBVNDRGPN5X)
    end
    object HWI2RDE5RIQCRSK5TN4ZNNJQL2: TConstituent
      CName = 'Ax3'
      Expression = 'card(Pr2(D1)\Pr1(D1)) = 1'
      Interpretation = #1057#1091#1097#1077#1089#1090#1074#1091#1077#1090' '#1077#1076#1080#1085#1089#1090#1074#1077#1085#1085#1086#1077' '#1082#1086#1085#1077#1095#1085#1086#1077' '#1089#1086#1089#1090#1086#1103#1085#1080#1077
      TraceTo = (
        AHVMVLWJR341T4IALN2SQPJJOK)
    end
    object AFYKCWNZ2HTHR4I0F1RPWBQXU3: TConstituent
      CName = 'Ax4'
      Expression = #8704'x'#8712'X1((x'#8712'Pr1(D1))'#8744'(x'#8712'Pr2(D1)))'
      Interpretation = #1053#1077' '#1089#1091#1097#1077#1089#1090#1074#1091#1077#1090' '#1089#1086#1089#1090#1086#1103#1085#1080#1081', '#1085#1077' '#1089#1074#1103#1079#1072#1085#1085#1099#1093' '#1088#1072#1073#1086#1090#1086#1081
      TraceTo = (
        HZR5BILREX0CTGYLHUTLMVSVML)
    end
    object FLJGHG1ALZ15QWYDWAZKZF4FJU: TConstituent
      CName = 'Ax5'
      Expression = #8704'x'#8712'X1,'#8707'c'#8712'C2((x,c)'#8712'D2)'
      Interpretation = #1042#1089#1077' '#1089#1086#1089#1090#1086#1103#1085#1080#1103' '#1087#1088#1086#1085#1091#1084#1077#1088#1086#1074#1072#1085#1099
      TraceTo = (
        DSVU2PBNNBNWQK05MSJER0CQ54)
    end
    object F52CQ1BBHD25SIZ42AOBWXCUQL: TConstituent
      CName = 'Ax6'
      Expression = #8704'd1'#8712'D2,'#8704'd2'#8712'D2((pr1(d1)=pr1(d2))'#8658'(pr2(d1)=pr2(d2)))'
      Interpretation = #1057#1086#1089#1090#1086#1103#1085#1080#1103' '#1087#1088#1086#1085#1091#1084#1077#1088#1086#1074#1072#1085#1099' '#1077#1076#1080#1085#1089#1090#1074#1077#1085#1085#1099#1084' '#1086#1073#1088#1072#1079#1086#1084
      TraceTo = (
        FG45IRLSEEDPTWJSBCT3YWTDPS)
    end
    object H2BAIDOQHFWZQWLCKVL5Q5QVG0: TConstituent
      CName = 'Ax7'
      Expression = 
        #8704'd'#8712'D1,'#8704'd1'#8712'D2,'#8704'd2'#8712'D2((pr1(d)=pr1(d1))&(pr2(d)=pr1(d2)))'#8658'(pr2(d1)>' +
        'pr2(d2))'
      Interpretation = #1040#1082#1089#1080#1086#1084#1072' '#1085#1072' '#1085#1091#1084#1077#1088#1072#1094#1080#1102' '#1089#1086#1089#1090#1086#1103#1085#1080#1081
      TraceTo = (
        BO3VS0N5I1A3QAZW55J30GDDAO)
    end
    object C5AJLRWACLG2R4LIWHGZOLXQPV: TConstituent
      CName = 'Tr1'
      Expression = 
        '{t '#8712'X1'#215#8492'(X1) | pr2(t) = {x '#8712' X1|'#8707'd'#8712'D1((pr1(d)=pr1(t))&(pr2(d)=x)' +
        ') }}'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1089#1086#1089#1090#1086#1103#1085#1080#1077', '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1086#1089#1090#1086#1103#1085#1080#1081', '#1085#1077#1087#1086#1089#1088#1077#1076#1089#1090#1074#1077#1085#1085#1086' '#1089 +
        #1083#1077#1076#1091#1102#1097#1080#1093' '#1079#1072' '#1076#1072#1085#1085#1099#1084
      TraceTo = (
        CNJNG3BLTTABSMLMWMHCTEVVGJ)
    end
    object GW4MYWQFRFAHSK0PI3QODHEDKB: TConstituent
      CName = 'Tr2'
      Expression = 
        '{t '#8712'X1'#215#8492'(X1) | pr2(t) = {x '#8712' X1|'#8707'd'#8712'D1((pr2(d)=pr1(t))&(pr1(d)=x)' +
        ') }}'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1089#1086#1089#1090#1086#1103#1085#1080#1077', '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1086#1089#1090#1086#1103#1085#1080#1081', '#1085#1077#1087#1086#1089#1088#1077#1076#1089#1090#1074#1077#1085#1085#1086' '#1087 +
        #1088#1077#1076#1096#1077#1089#1090#1074#1091#1102#1097#1080#1093' '#1076#1072#1085#1085#1086#1084#1091
      TraceTo = (
        DPTEWIAYNLKCRSLENVK5Z0GTOC)
    end
  end
  object CA1P4BJ2RFNFS0YWU2KSGZNR3F: TSynthesizedScheme
    Caption = #1050#1057' 1'
    PageIndex = 6
    BaseSet = GBKWW2K3DLIVSELRT1TKD4CKTP
    Constituent = D203QMJYLXAPTCJL1J3UFEAOXM
    TraceFrom = (
      GBKWW2K3DLIVSELRT1TKD4CKTP
      _198337A10BE0420AB90F516A1DF36C6B
      D203QMJYLXAPTCJL1J3UFEAOXM
      _9AF178E775D34D809FBF6C1B1A2D56F5)
    TraceTo = (
      HRHEK2ZG4EKIRGYLIVVGSKCSKI)
    object B2M1SL3SRYIJQCKBEUG2OV1EK5: TSynthesizedConstituent
      CName = 'X1'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1074#1077#1088#1096#1080#1085
      TraceFrom = (
        GLMLROS030K3SCKC5FVVTLRYQ0)
      TraceTo = (
        HRHEK2ZG4EKIRGYLIVVGSKCSKI
        ETS1S4HSVYZLQCZVSO3ACIL4OU)
    end
    object BCZ0SBDN5RJTQQ0PDDCDO2YLMY: TSynthesizedConstituent
      CName = 'D1'
      Expression = #8492'(X1'#215'X1)'
      TraceFrom = (
        D203QMJYLXAPTCJL1J3UFEAOXM
        GBKWW2K3DLIVSELRT1TKD4CKTP)
      TraceTo = (
        FCZNUKTESECAR20DXA1IASLJZE)
    end
    object GOPQMF2RRPMKSULWW2JO1XREMP: TSynthesizedConstituent
      CName = 'Tr1'
      Expression = 'Pr1(D1)\Pr2(D1)'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1085#1072#1095#1072#1083#1100#1085#1099#1093' '#1074#1077#1088#1096#1080#1085
      TraceFrom = (
        HP2JUHTTXXH4QE14SAX2PWFGDI)
      TraceTo = (
        ABQNPBEJ2MNURAYAQ0LDFM3WVB)
    end
    object ERNPM2YSMH4XSMZLZIA54QRGXF: TSynthesizedConstituent
      CName = 'Ax1'
      Expression = 'card(Tr1)=1'
      Interpretation = #1057#1091#1097#1077#1089#1090#1074#1091#1077#1090' '#1077#1076#1080#1085#1089#1090#1074#1077#1085#1085#1072#1103' '#1085#1072#1095#1072#1083#1100#1085#1072#1103' '#1074#1077#1088#1096#1080#1085#1072
      TraceFrom = (
        GKTDEIGTYGBCRA1LLXHMBZCZDR)
      TraceTo = (
        EXBQLLRJZHGQSMZM3UTG5NE0ZO)
    end
    object EZOJAMZDOYK4S4KLO3ZB5HBX5Y: TSynthesizedConstituent
      CName = 'Ax2'
      Expression = #8704'E'#8838'D1(Pr1(E)'#8800'Pr2(E))'
      Interpretation = #1054#1090#1089#1091#1090#1089#1090#1074#1080#1077' '#1094#1080#1082#1083#1086#1074' '#1080' '#1087#1077#1090#1077#1083#1100
      TraceFrom = (
        AC4QF2AVPTH2SIYWWI03YZMYYE)
      TraceTo = (
        DX0JYHIHHZOIQGYXKYFMDAVE4G)
    end
    object C0MKCXMNPQ4OSQZDYEACGNTSTA: TSynthesizedConstituent
      CName = 'Ax3'
      Expression = #8704'd1'#8712'D1,'#8704'd2'#8712'D1((pr2(d1)=pr2(d2))'#8658'(d1=d2))'
      Interpretation = #1042' '#1074#1077#1088#1096#1080#1085#1091' '#1084#1086#1078#1077#1090' '#1074#1093#1086#1076#1080#1090#1100' '#1090#1086#1083#1100#1082#1086' '#1086#1076#1085#1072' '#1076#1091#1075#1072
      TraceFrom = (
        FF0CL43VZDIVRW1Q2CZW3LLC32)
      TraceTo = (
        HEBINOWUHH5ASYLFCEXPVX3XYW)
    end
    object A1NK3LVYONGRQOJ2VUQ5UJ1WIF: TSynthesizedConstituent
      CName = 'X2'
      TraceFrom = (
        DRQISGWZTV5TSCK4ZSZI14DJH3)
      TraceTo = (
        DKO5514FGC3VQGKSRAWBUMYHVT)
    end
    object E2MX4AWL2LLSSCYW2LAWZYVMQX: TSynthesizedConstituent
      CName = 'D2'
      Expression = #8492'((X1'#215'X1)'#215'X2)'
      TraceFrom = (
        A32SDYJBICWGTIIURD1JRA5L23)
      TraceTo = (
        D0G3CVTO2FZRS2LJRSVJJOLISK
        FRJQVDXOOVZPSO1PBXBS3EZZGT)
    end
    object D0G3CVTO2FZRS2LJRSVJJOLISK: TSynthesizedConstituent
      CName = 'Ax4'
      Expression = 'Pr1(D2)'#8838'D1'
      TraceFrom = (
        E2MX4AWL2LLSSCYW2LAWZYVMQX)
      TraceTo = (
        GPXX0JAAJCLIRY0O0XFN45ORRG)
    end
    object DXSZOGKARRMDRGKPIFBY5OOJL0: TSynthesizedConstituent
      CName = 'Ax5'
      Expression = #8704'x'#8712'D1,'#8707'y'#8712'X2((x,y)'#8712'D2)'
      Interpretation = #1042#1089#1102#1076#1091#1086#1087#1088#1077#1076#1077#1083#1105#1085#1085#1086#1089#1090#1100
      TraceFrom = (
        DTZK5XM12VXGRKJW5TQ42DZAQW)
      TraceTo = (
        E5YP1NB0TUPMREJLSGHJALS0BU)
    end
    object CSSPW524U11LSYISBVQUJA4SYA: TSynthesizedConstituent
      CName = 'Ax6'
      Expression = #8704'd1'#8712'D2,'#8704'd2'#8712'D2((pr1(d1)=pr1(d2))'#8658'(pr2(d1)=pr2(d2)))'
      Interpretation = #1055#1088#1103#1084#1072#1103' '#1086#1076#1085#1086#1079#1085#1072#1095#1085#1086#1089#1090#1100
      TraceFrom = (
        EDAB55ZQRYRYSC11XKTMU0SV2F)
      TraceTo = (
        CFJ1CPGDWOFGSY0HSX03ZJJPGJ)
    end
    object ADZ3TJQMXHB2QQLLNOL44U1PWI: TSynthesizedConstituent
      CName = 'Tr2'
      Expression = 'Pr2(D1)\Pr1(D1)'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1082#1086#1085#1077#1095#1085#1099#1093' '#1074#1077#1088#1096#1080#1085
      TraceFrom = (
        BZCE3J3YEHSXRAZWDZRFMNYZ4X)
      TraceTo = (
        CXGIC1KS1YEDRWLF3VFFDOTTMW)
    end
    object E0RNT2LPXLM3SA1GIBSASXXEJ2: TSynthesizedConstituent
      CName = 'Tr3'
      Expression = 'debool(Tr1)'
      Interpretation = #1053#1072#1095#1072#1083#1100#1085#1072#1103' '#1074#1077#1088#1096#1080#1085#1072
      TraceFrom = (
        C30KM3LJNPWUSM0ZFDDW5OG5NU)
      TraceTo = (
        CIHOFXDYRTV0QAZG3NCQ235G3E)
    end
    object DFMNELMGFNHNQYYGIEQSYYJ0UL: TSynthesizedConstituent
      CName = 'Tr4'
      Expression = '{t '#8712' X1 '#215' '#8492'(X1) | pr2(t) = {x '#8712' X1 | (pr1(t), x) '#8712' D1}}'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1074#1077#1088#1096#1080#1085', '#1085#1077#1087#1086#1089#1088#1077#1076#1089#1090#1074#1077#1085#1085#1086' '#1089#1083#1077#1076#1091#1102 +
        #1097#1080#1093' '#1079#1072' '#1076#1072#1085#1085#1086#1081
      TraceFrom = (
        EKBUBQ1XGMGUR41UT23Z0PJUOV)
      TraceTo = (
        DOI2TACV2XHAQMJ2OBIAYQ42H4)
    end
    object ETOF2CY3LJHES40RBWAIB5SF4I: TSynthesizedConstituent
      CName = 'Tr5'
      Expression = 
        '{t '#8712'X1'#215#8492'(X1) | pr2(t) = {x '#8712' X1|'#8707'E'#8838'D1((Pr1(E)\Pr2(E)=bool(pr1(t)' +
        '))&(Pr2(E)\Pr1(E)=bool(x))) }}'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1077#1105' '#1085#1080#1078#1085#1077#1077' '#1079#1072#1084#1099#1082#1072#1085#1080#1077
      TraceFrom = (
        DDVOS2T0APXWTAI0FFZQ0HVV2G)
      TraceTo = (
        FUKPLWWCJ2MASI0WYXAV2DCXOZ)
    end
    object HQMZMMCR1ZY1QO0QG0DRML0XNF: TSynthesizedConstituent
      CName = 'Tr6'
      Expression = 
        '{t '#8712'X1'#215#8492'(X1) | pr2(t) = {x '#8712' X1|'#8707'E'#8838'D1((Pr2(E)\Pr1(E)=bool(pr1(t)' +
        '))&(Pr1(E)\Pr2(E)=bool(x))) }}'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1077#1105' '#1074#1077#1088#1093#1085#1077#1077' '#1079#1072#1084#1099#1082#1072#1085#1080#1077
      TraceFrom = (
        EEQKJXUCEKGJQGL0WH5SKBN3C3)
      TraceTo = (
        D5DI2XZ5TR2RRSYZ0AD0ZZOKOZ)
    end
    object GPGUEZ3PNMKBQKLQ20Y4LSJE2S: TSynthesizedConstituent
      CName = 'Tr7'
      Expression = 
        '{t '#8712'X1'#215#8492'(X1) | '#8707'y1'#8712'Tr6 (pr1(y1) = pr1(t))&(pr2(t)={x '#8712' X1| '#8707'y2'#8712'T' +
        'r6 (pr1(y2) = x) & (card (pr2(y2)) > card (pr2(y1)))})}'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1074#1077#1088#1096#1080#1085#1099' '#1073#1086#1083#1100#1096#1077#1075#1086' '#1088#1072#1085#1075#1072
      TraceFrom = (
        GTS3HGXDIJT0QMIYUYXP4YPWD1)
      TraceTo = (
        GY320F1IPICNR01Z10NXBC11KK)
    end
    object BF35PTJIPWXXS2KMEE2KJM4JAY: TSynthesizedConstituent
      CName = 'Tr8'
      Expression = 'Pr1(D2)'
      Interpretation = #1054#1073#1083#1072#1089#1090#1100' '#1086#1087#1088#1077#1076#1077#1083#1077#1085#1080#1103
      TraceFrom = (
        BKZAQJVDVXJRTQJLFS1UU3AEG4)
      TraceTo = (
        C5GU04FVBAAXSQJRFRV3WJYZQ3)
    end
    object FWAFN23FMPFZT01SFOG0C3R5UO: TSynthesizedConstituent
      CName = 'Tr9'
      Expression = 'Pr2(D2)'
      Interpretation = #1054#1073#1083#1072#1089#1090#1100' '#1079#1085#1072#1095#1077#1085#1080#1081
      TraceFrom = (
        EELYCPL3IW5ET41YXZ4RNAGJUR)
      TraceTo = (
        BXVA4JRMBUVTS4J1IV2OHF1D0E)
    end
    object GDL02IY343RLSSZ4AQEZVQ5ZW0: TSynthesizedConstituent
      CName = 'Tr10'
      Expression = 
        '{t '#8712' X2 '#215' '#8492'((X1'#215'X1)) | pr2(t) = {x '#8712' (X1'#215'X1) | ( x, pr1(t) ) '#8712' D' +
        '2 } }'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1079#1085#1072#1095#1077#1085#1080#1077' '#1092#1091#1085#1082#1094#1080#1080'; '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1072#1088#1075#1091#1084#1077#1085#1090#1086#1074', '#1087#1088#1080' '#1082#1086#1090#1086#1088 +
        #1099#1093' '#1092#1091#1085#1082#1094#1080#1103' '#1087#1088#1080#1085#1080#1084#1072#1077#1090' '#1076#1072#1085#1085#1086#1077' '#1079#1085#1072#1095#1077#1085#1080#1077'.'
      TraceFrom = (
        B53LPCSHHSLFRWKQWC2SM4OER4)
      TraceTo = (
        CEXV2XPJYCPMRSKFETQARONFFE)
    end
  end
  object AYOSU0BJZDLLT00DTLE3AAV45N: TSynthesizedScheme
    Caption = #1050#1057' 2'
    PageIndex = 7
    BaseSet = BGWLWFGTOY3HQUIMAWNFOMTBCL
    Constituent = D203QMJYLXAPTCJL1J3UFEAOXM
    TraceFrom = (
      BGWLWFGTOY3HQUIMAWNFOMTBCL
      _8BB2BF6192384331A80249A2603056D3
      D203QMJYLXAPTCJL1J3UFEAOXM
      _9AF178E775D34D809FBF6C1B1A2D56F5)
    TraceTo = (
      HRHEK2ZG4EKIRGYLIVVGSKCSKI)
    object GNZYDHF3RUWRTM1AROY3BCZTPD: TSynthesizedConstituent
      CName = 'X1'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1074#1077#1088#1096#1080#1085
      TraceFrom = (
        GLMLROS030K3SCKC5FVVTLRYQ0)
      TraceTo = (
        DWIXAMJ53SAVS4I41EY1X4OYMK)
    end
    object F2MVCUMXL4HMRGIBYCITM1ARGK: TSynthesizedConstituent
      CName = 'D1'
      Expression = #8492'(X1'#215'X1)'
      TraceFrom = (
        D203QMJYLXAPTCJL1J3UFEAOXM
        BGWLWFGTOY3HQUIMAWNFOMTBCL)
      TraceTo = (
        FVRT54NF0PK2QUKSUGZFJVDQCT)
    end
    object AHKY5LWNMMI4TULFI0GMFJJ2UF: TSynthesizedConstituent
      CName = 'Tr1'
      Expression = 'Pr1(D1)\Pr2(D1)'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1085#1072#1095#1072#1083#1100#1085#1099#1093' '#1074#1077#1088#1096#1080#1085
      TraceFrom = (
        HP2JUHTTXXH4QE14SAX2PWFGDI)
      TraceTo = (
        FQ4QC43MRCRBQSIKPN2GAHPWCS)
    end
    object EZVCSIANOEUDQS13BIFBRWUOAW: TSynthesizedConstituent
      CName = 'Tr2'
      Expression = 'Pr2(D1)\Pr1(D1)'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1082#1086#1085#1077#1095#1085#1099#1093' '#1074#1077#1088#1096#1080#1085
      TraceFrom = (
        BZCE3J3YEHSXRAZWDZRFMNYZ4X)
      TraceTo = (
        HQXXVXB1JPVATAYXBVZ3KGT4QO)
    end
    object AGUMKS2FDPWFRC1L4ZI1ZFRL4N: TSynthesizedConstituent
      CName = 'Ax1'
      Expression = 'card(Tr1)=1'
      Interpretation = #1057#1091#1097#1077#1089#1090#1074#1091#1077#1090' '#1077#1076#1080#1085#1089#1090#1074#1077#1085#1085#1072#1103' '#1085#1072#1095#1072#1083#1100#1085#1072#1103' '#1074#1077#1088#1096#1080#1085#1072
      TraceFrom = (
        GKTDEIGTYGBCRA1LLXHMBZCZDR)
      TraceTo = (
        H4Y2JLQEWNBQRS11KA44BOC2UW)
    end
    object CCIBILX3DCVZR0IQRZ5ZJOW4WZ: TSynthesizedConstituent
      CName = 'Ax2'
      Expression = #8704'E'#8838'D1(Pr1(E)'#8800'Pr2(E))'
      Interpretation = #1054#1090#1089#1091#1090#1089#1090#1074#1080#1077' '#1094#1080#1082#1083#1086#1074' '#1080' '#1087#1077#1090#1077#1083#1100
      TraceFrom = (
        AC4QF2AVPTH2SIYWWI03YZMYYE)
      TraceTo = (
        BUT4ICKCF1PZQKKHEZQZH54TRF)
    end
    object CHCKDLZGYSI0TW02KQWP3QHLCJ: TSynthesizedConstituent
      CName = 'Ax3'
      Expression = #8704'd1'#8712'D1,'#8704'd2'#8712'D1((pr2(d1)=pr2(d2))'#8658'(d1=d2))'
      Interpretation = #1042' '#1074#1077#1088#1096#1080#1085#1091' '#1084#1086#1078#1077#1090' '#1074#1093#1086#1076#1080#1090#1100' '#1090#1086#1083#1100#1082#1086' '#1086#1076#1085#1072' '#1076#1091#1075#1072
      TraceFrom = (
        FF0CL43VZDIVRW1Q2CZW3LLC32)
      TraceTo = (
        BNTPOJO1PSX0TUICQAX0Z0LGYX)
    end
    object CJMRQNFG5Q1ZTOLRLUYJK3FWYV: TSynthesizedConstituent
      CName = 'Tr3'
      Expression = 'debool(Tr1)'
      Interpretation = #1053#1072#1095#1072#1083#1100#1085#1072#1103' '#1074#1077#1088#1096#1080#1085#1072
      TraceFrom = (
        C30KM3LJNPWUSM0ZFDDW5OG5NU)
      TraceTo = (
        GROEUHRGKOFXSELC1ZOO4FH0PH)
    end
    object CU4G5BFCS0CJTC1MZIMGFL2ULE: TSynthesizedConstituent
      CName = 'Tr4'
      Expression = '{t '#8712' X1 '#215' '#8492'(X1) | pr2(t) = {x '#8712' X1 | (pr1(t), x) '#8712' D1}}'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1074#1077#1088#1096#1080#1085', '#1085#1077#1087#1086#1089#1088#1077#1076#1089#1090#1074#1077#1085#1085#1086' '#1089#1083#1077#1076#1091#1102 +
        #1097#1080#1093' '#1079#1072' '#1076#1072#1085#1085#1086#1081
      TraceFrom = (
        EKBUBQ1XGMGUR41UT23Z0PJUOV)
      TraceTo = (
        H1SYILQLVXNASEIYVDFZMIG1BK)
    end
    object HQ4XNALF1HMNRWZQ5N4DSIK204: TSynthesizedConstituent
      CName = 'Tr5'
      Expression = 
        '{t '#8712'X1'#215#8492'(X1) | pr2(t) = {x '#8712' X1|'#8707'E'#8838'D1((Pr1(E)\Pr2(E)=bool(pr1(t)' +
        '))&(Pr2(E)\Pr1(E)=bool(x))) }}'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1077#1105' '#1085#1080#1078#1085#1077#1077' '#1079#1072#1084#1099#1082#1072#1085#1080#1077
      TraceFrom = (
        DDVOS2T0APXWTAI0FFZQ0HVV2G)
      TraceTo = (
        A1CPPYLEBOF0Q0Y5OZHUWGAUJH)
    end
    object BMKRFJ2ZOQALTQJ35SD5ZKHRRE: TSynthesizedConstituent
      CName = 'Tr6'
      Expression = 
        '{t '#8712'X1'#215#8492'(X1) | pr2(t) = {x '#8712' X1|'#8707'E'#8838'D1((Pr2(E)\Pr1(E)=bool(pr1(t)' +
        '))&(Pr1(E)\Pr2(E)=bool(x))) }}'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1077#1105' '#1074#1077#1088#1093#1085#1077#1077' '#1079#1072#1084#1099#1082#1072#1085#1080#1077
      TraceFrom = (
        EEQKJXUCEKGJQGL0WH5SKBN3C3)
      TraceTo = (
        HRHEK2ZG4EKIRGYLIVVGSKCSKI
        ETS1S4HSVYZLQCZVSO3ACIL4OU)
    end
    object BQM0LLYN34FDQEJCH4QQUXMXII: TSynthesizedConstituent
      CName = 'Tr7'
      Expression = 
        '{t '#8712'X1'#215#8492'(X1) | '#8707'y1'#8712'Tr6 (pr1(y1) = pr1(t))&(pr2(t)={x '#8712' X1| '#8707'y2'#8712'T' +
        'r6 (pr1(y2) = x) & (card (pr2(y2)) > card (pr2(y1)))})}'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1074#1077#1088#1096#1080#1085#1099' '#1073#1086#1083#1100#1096#1077#1075#1086' '#1088#1072#1085#1075#1072
      TraceFrom = (
        GTS3HGXDIJT0QMIYUYXP4YPWD1)
      TraceTo = (
        BHF3ALF5OSV1Q0YJYODTTGPT3Z)
    end
    object GGKHQCQXU4J4TSKCK5EMA3LE2U: TSynthesizedConstituent
      CName = 'C1'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1076#1083#1080#1090#1077#1083#1100#1085#1086#1089#1090#1077#1081
      TraceFrom = (
        HUEELAE5WSQBQCIV4PZMR5KVPY)
      TraceTo = (
        HX4PKFXVRWNSQKYUAMNAMFLYJ5)
    end
    object FJVAU50KYOTLTU13RJKDPXWCOZ: TSynthesizedConstituent
      CName = 'C2'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1085#1072#1090#1091#1088#1072#1083#1100#1085#1099#1093' '#1095#1080#1089#1077#1083
      TraceFrom = (
        DKMYF40DWDYMQK0LCSDHYBO1OV)
      TraceTo = (
        GEHJPEE5VYEQS40SKSQWYENSN5)
    end
    object EYQEVQ0SAWEWR2LEQRQQNGBCHU: TSynthesizedConstituent
      CName = 'D2'
      Expression = #8492'((X1'#215'X1)'#215'(X1'#215'X1)'#215'C1)'
      Interpretation = 
        #1057#1077#1090#1100' '#1088#1072#1073#1086#1090': '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1090#1088#1086#1077#1082' "'#1085#1072#1095#1072#1083#1100#1085#1086#1077' '#1089#1086#1089#1090#1086#1103#1085#1080#1077', '#1082#1086#1085#1077#1095#1085#1086#1077' '#1089#1086#1089#1090#1086 +
        #1103#1085#1080#1077', '#1087#1083#1072#1085#1086#1074#1072#1103' '#1076#1083#1080#1090#1077#1083#1100#1085#1086#1089#1090#1100'"'
      TraceFrom = (
        ASRBSDTJGGGHR4L1QQAVLAK4GL)
      TraceTo = (
        DV2GIQYQYZ2PRAI50BVYRHUKYG
        CVGYOKXU0O5VTQI01GFGWY30I0
        AMU1GFHY5XLWTUJBOCJCQ2445C)
    end
    object DV2GIQYQYZ2PRAI50BVYRHUKYG: TSynthesizedConstituent
      CName = 'Ax4'
      Expression = 'Pr1(D2)'#8838'D1'
      TraceFrom = (
        EYQEVQ0SAWEWR2LEQRQQNGBCHU)
      TraceTo = (
        GUIQPVWKRPMXSCI52YBVGAAG15)
    end
    object CVGYOKXU0O5VTQI01GFGWY30I0: TSynthesizedConstituent
      CName = 'Ax5'
      Expression = 'Pr2(D2)'#8838'D1'
      TraceFrom = (
        EYQEVQ0SAWEWR2LEQRQQNGBCHU)
      TraceTo = (
        DESPYVATZLJOQ0YUCFFDSMCJJR)
    end
    object EKEC5THZQAKTRKJ0ML35XMC12H: TSynthesizedConstituent
      CName = 'D3'
      Expression = #8492'((X1'#215'X1)'#215'C2)'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1089#1086#1089#1090#1086#1103#1085#1080#1077', '#1077#1075#1086' '#1085#1086#1084#1077#1088
      TraceFrom = (
        D2TOX2LZ0JCMR0LCI0VROPCV0X)
      TraceTo = (
        HRGPDI5QJUYPTGYPIBPB05NYPG
        FHOZ2C3F3B4GQKYFFJDVHMJWAG)
    end
    object HRGPDI5QJUYPTGYPIBPB05NYPG: TSynthesizedConstituent
      CName = 'Ax6'
      Expression = 'Pr1(D3)'#8838'D1'
      TraceFrom = (
        EKEC5THZQAKTRKJ0ML35XMC12H)
      TraceTo = (
        F23J3LOVVYKVREJVP5PDDHBOZC)
    end
    object ADUFN1VSDDY0RW0CPLU3QY3KOB: TSynthesizedConstituent
      CName = 'Ax7'
      Expression = #8704'E'#8838'D2(Pr1(E)'#8800'Pr2(E))'
      Interpretation = #1054#1090#1089#1091#1090#1089#1090#1074#1080#1077' '#1094#1080#1082#1083#1086#1074' '#1080' '#1087#1077#1090#1077#1083#1100
      TraceFrom = (
        AWWOPX3MCQ1KS0JSC1MBIWGNEO)
      TraceTo = (
        CHJEI3BJDNQ0RUYKHN2XRR3IQZ)
    end
    object FMXB55U1CVT5TQLIBVNDRGPN5X: TSynthesizedConstituent
      CName = 'Ax8'
      Expression = 'card(Pr1(D2)\Pr2(D2)) = 1'
      Interpretation = #1057#1091#1097#1077#1089#1090#1074#1091#1077#1090' '#1077#1076#1080#1085#1089#1090#1074#1077#1085#1085#1086#1077' '#1085#1072#1095#1072#1083#1100#1085#1086#1077' '#1089#1086#1089#1090#1086#1103#1085#1080#1077
      TraceFrom = (
        A4ZGOXGFHN2OSYK0CC1K4ICIPE)
      TraceTo = (
        EG01IMD4UGWQRS0TXCPCPWG32P)
    end
    object AHVMVLWJR341T4IALN2SQPJJOK: TSynthesizedConstituent
      CName = 'Ax9'
      Expression = 'card(Pr2(D2)\Pr1(D2)) = 1'
      Interpretation = #1057#1091#1097#1077#1089#1090#1074#1091#1077#1090' '#1077#1076#1080#1085#1089#1090#1074#1077#1085#1085#1086#1077' '#1082#1086#1085#1077#1095#1085#1086#1077' '#1089#1086#1089#1090#1086#1103#1085#1080#1077
      TraceFrom = (
        HWI2RDE5RIQCRSK5TN4ZNNJQL2)
      TraceTo = (
        FRGTOAEQX1J2TWL1YMQRZWAMPZ)
    end
    object HZR5BILREX0CTGYLHUTLMVSVML: TSynthesizedConstituent
      CName = 'Ax10'
      Expression = #8704'x'#8712'D1((x'#8712'Pr1(D2))'#8744'(x'#8712'Pr2(D2)))'
      Interpretation = #1053#1077' '#1089#1091#1097#1077#1089#1090#1074#1091#1077#1090' '#1089#1086#1089#1090#1086#1103#1085#1080#1081', '#1085#1077' '#1089#1074#1103#1079#1072#1085#1085#1099#1093' '#1088#1072#1073#1086#1090#1086#1081
      TraceFrom = (
        AFYKCWNZ2HTHR4I0F1RPWBQXU3)
      TraceTo = (
        EGMAF0Y4BF4ITA0VCKNEQ1PZYR)
    end
    object DSVU2PBNNBNWQK05MSJER0CQ54: TSynthesizedConstituent
      CName = 'Ax11'
      Expression = #8704'x'#8712'D1,'#8707'c'#8712'C2((x,c)'#8712'D3)'
      Interpretation = #1042#1089#1077' '#1089#1086#1089#1090#1086#1103#1085#1080#1103' '#1087#1088#1086#1085#1091#1084#1077#1088#1086#1074#1072#1085#1099
      TraceFrom = (
        FLJGHG1ALZ15QWYDWAZKZF4FJU)
      TraceTo = (
        HSRVP4OJDADTT4JIWZVPX2KURE)
    end
    object FG45IRLSEEDPTWJSBCT3YWTDPS: TSynthesizedConstituent
      CName = 'Ax12'
      Expression = #8704'd1'#8712'D3,'#8704'd2'#8712'D3((pr1(d1)=pr1(d2))'#8658'(pr2(d1)=pr2(d2)))'
      Interpretation = #1057#1086#1089#1090#1086#1103#1085#1080#1103' '#1087#1088#1086#1085#1091#1084#1077#1088#1086#1074#1072#1085#1099' '#1077#1076#1080#1085#1089#1090#1074#1077#1085#1085#1099#1084' '#1086#1073#1088#1072#1079#1086#1084
      TraceFrom = (
        F52CQ1BBHD25SIZ42AOBWXCUQL)
      TraceTo = (
        HIQD3NVJDRBGTSKYHRCQ3N4CZK)
    end
    object BO3VS0N5I1A3QAZW55J30GDDAO: TSynthesizedConstituent
      CName = 'Ax13'
      Expression = 
        #8704'd'#8712'D2,'#8704'd1'#8712'D3,'#8704'd2'#8712'D3((pr1(d)=pr1(d1))&(pr2(d)=pr1(d2)))'#8658'(pr2(d1)>' +
        'pr2(d2))'
      Interpretation = #1040#1082#1089#1080#1086#1084#1072' '#1085#1072' '#1085#1091#1084#1077#1088#1072#1094#1080#1102' '#1089#1086#1089#1090#1086#1103#1085#1080#1081
      TraceFrom = (
        H2BAIDOQHFWZQWLCKVL5Q5QVG0)
      TraceTo = (
        BAW4HYE4K2MOS2L2ADHFLY05X2)
    end
    object CNJNG3BLTTABSMLMWMHCTEVVGJ: TSynthesizedConstituent
      CName = 'Tr8'
      Expression = 
        '{t '#8712'(X1'#215'X1)'#215#8492'((X1'#215'X1)) | pr2(t) = {x '#8712' (X1'#215'X1)|'#8707'd'#8712'D2((pr1(d)=pr1' +
        '(t))&(pr2(d)=x)) }}'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1089#1086#1089#1090#1086#1103#1085#1080#1077', '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1086#1089#1090#1086#1103#1085#1080#1081', '#1085#1077#1087#1086#1089#1088#1077#1076#1089#1090#1074#1077#1085#1085#1086' '#1089 +
        #1083#1077#1076#1091#1102#1097#1080#1093' '#1079#1072' '#1076#1072#1085#1085#1099#1084
      TraceFrom = (
        C5AJLRWACLG2R4LIWHGZOLXQPV)
      TraceTo = (
        F52FMNK0TH0FSGJ1WETBKDSZKV)
    end
    object DPTEWIAYNLKCRSLENVK5Z0GTOC: TSynthesizedConstituent
      CName = 'Tr9'
      Expression = 
        '{t '#8712'(X1'#215'X1)'#215#8492'((X1'#215'X1)) | pr2(t) = {x '#8712' (X1'#215'X1)|'#8707'd'#8712'D2((pr2(d)=pr1' +
        '(t))&(pr1(d)=x)) }}'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1089#1086#1089#1090#1086#1103#1085#1080#1077', '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1086#1089#1090#1086#1103#1085#1080#1081', '#1085#1077#1087#1086#1089#1088#1077#1076#1089#1090#1074#1077#1085#1085#1086' '#1087 +
        #1088#1077#1076#1096#1077#1089#1090#1074#1091#1102#1097#1080#1093' '#1076#1072#1085#1085#1086#1084#1091
      TraceFrom = (
        GW4MYWQFRFAHSK0PI3QODHEDKB)
      TraceTo = (
        BBN1FATP4H1DRMJLXO5CIHRMQG)
    end
  end
  object HRHEK2ZG4EKIRGYLIVVGSKCSKI: TSynthesizedScheme
    Caption = #1050#1057' 3'
    PageIndex = 8
    BaseSet = B2M1SL3SRYIJQCKBEUG2OV1EK5
    Constituent = BMKRFJ2ZOQALTQJ35SD5ZKHRRE
    TraceFrom = (
      B2M1SL3SRYIJQCKBEUG2OV1EK5
      CA1P4BJ2RFNFS0YWU2KSGZNR3F
      BMKRFJ2ZOQALTQJ35SD5ZKHRRE
      AYOSU0BJZDLLT00DTLE3AAV45N)
    object DWIXAMJ53SAVS4I41EY1X4OYMK: TSynthesizedConstituent
      CName = 'X1'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1074#1077#1088#1096#1080#1085
      TraceFrom = (
        GNZYDHF3RUWRTM1AROY3BCZTPD)
    end
    object FVRT54NF0PK2QUKSUGZFJVDQCT: TSynthesizedConstituent
      CName = 'D1'
      Expression = #8492'(X1'#215'X1)'
      TraceFrom = (
        F2MVCUMXL4HMRGIBYCITM1ARGK)
    end
    object FQ4QC43MRCRBQSIKPN2GAHPWCS: TSynthesizedConstituent
      CName = 'Tr1'
      Expression = 'Pr1(D1)\Pr2(D1)'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1085#1072#1095#1072#1083#1100#1085#1099#1093' '#1074#1077#1088#1096#1080#1085
      TraceFrom = (
        AHKY5LWNMMI4TULFI0GMFJJ2UF)
    end
    object HQXXVXB1JPVATAYXBVZ3KGT4QO: TSynthesizedConstituent
      CName = 'Tr2'
      Expression = 'Pr2(D1)\Pr1(D1)'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1082#1086#1085#1077#1095#1085#1099#1093' '#1074#1077#1088#1096#1080#1085
      TraceFrom = (
        EZVCSIANOEUDQS13BIFBRWUOAW)
    end
    object H4Y2JLQEWNBQRS11KA44BOC2UW: TSynthesizedConstituent
      CName = 'Ax1'
      Expression = 'card(Tr1)=1'
      Interpretation = #1057#1091#1097#1077#1089#1090#1074#1091#1077#1090' '#1077#1076#1080#1085#1089#1090#1074#1077#1085#1085#1072#1103' '#1085#1072#1095#1072#1083#1100#1085#1072#1103' '#1074#1077#1088#1096#1080#1085#1072
      TraceFrom = (
        AGUMKS2FDPWFRC1L4ZI1ZFRL4N)
    end
    object BUT4ICKCF1PZQKKHEZQZH54TRF: TSynthesizedConstituent
      CName = 'Ax2'
      Expression = #8704'E'#8838'D1(Pr1(E)'#8800'Pr2(E))'
      Interpretation = #1054#1090#1089#1091#1090#1089#1090#1074#1080#1077' '#1094#1080#1082#1083#1086#1074' '#1080' '#1087#1077#1090#1077#1083#1100
      TraceFrom = (
        CCIBILX3DCVZR0IQRZ5ZJOW4WZ)
    end
    object BNTPOJO1PSX0TUICQAX0Z0LGYX: TSynthesizedConstituent
      CName = 'Ax3'
      Expression = #8704'd1'#8712'D1,'#8704'd2'#8712'D1((pr2(d1)=pr2(d2))'#8658'(d1=d2))'
      Interpretation = #1042' '#1074#1077#1088#1096#1080#1085#1091' '#1084#1086#1078#1077#1090' '#1074#1093#1086#1076#1080#1090#1100' '#1090#1086#1083#1100#1082#1086' '#1086#1076#1085#1072' '#1076#1091#1075#1072
      TraceFrom = (
        CHCKDLZGYSI0TW02KQWP3QHLCJ)
    end
    object GROEUHRGKOFXSELC1ZOO4FH0PH: TSynthesizedConstituent
      CName = 'Tr3'
      Expression = 'debool(Tr1)'
      Interpretation = #1053#1072#1095#1072#1083#1100#1085#1072#1103' '#1074#1077#1088#1096#1080#1085#1072
      TraceFrom = (
        CJMRQNFG5Q1ZTOLRLUYJK3FWYV)
    end
    object H1SYILQLVXNASEIYVDFZMIG1BK: TSynthesizedConstituent
      CName = 'Tr4'
      Expression = '{t '#8712' X1 '#215' '#8492'(X1) | pr2(t) = {x '#8712' X1 | (pr1(t), x) '#8712' D1}}'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1074#1077#1088#1096#1080#1085', '#1085#1077#1087#1086#1089#1088#1077#1076#1089#1090#1074#1077#1085#1085#1086' '#1089#1083#1077#1076#1091#1102 +
        #1097#1080#1093' '#1079#1072' '#1076#1072#1085#1085#1086#1081
      TraceFrom = (
        CU4G5BFCS0CJTC1MZIMGFL2ULE)
    end
    object A1CPPYLEBOF0Q0Y5OZHUWGAUJH: TSynthesizedConstituent
      CName = 'Tr5'
      Expression = 
        '{t '#8712'X1'#215#8492'(X1) | pr2(t) = {x '#8712' X1|'#8707'E'#8838'D1((Pr1(E)\Pr2(E)=bool(pr1(t)' +
        '))&(Pr2(E)\Pr1(E)=bool(x))) }}'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1077#1105' '#1085#1080#1078#1085#1077#1077' '#1079#1072#1084#1099#1082#1072#1085#1080#1077
      TraceFrom = (
        HQ4XNALF1HMNRWZQ5N4DSIK204)
    end
    object ETS1S4HSVYZLQCZVSO3ACIL4OU: TSynthesizedConstituent
      CName = 'Tr6'
      Expression = 
        '{t '#8712'X1'#215#8492'(X1) | pr2(t) = {x '#8712' X1|'#8707'E'#8838'D1((Pr2(E)\Pr1(E)=bool(pr1(t)' +
        '))&(Pr1(E)\Pr2(E)=bool(x))) }}'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1077#1105' '#1074#1077#1088#1093#1085#1077#1077' '#1079#1072#1084#1099#1082#1072#1085#1080#1077
      TraceFrom = (
        BMKRFJ2ZOQALTQJ35SD5ZKHRRE
        B2M1SL3SRYIJQCKBEUG2OV1EK5)
    end
    object BHF3ALF5OSV1Q0YJYODTTGPT3Z: TSynthesizedConstituent
      CName = 'Tr7'
      Expression = 
        '{t '#8712'X1'#215#8492'(X1) | '#8707'y1'#8712'Tr6 (pr1(y1) = pr1(t))&(pr2(t)={x '#8712' X1| '#8707'y2'#8712'T' +
        'r6 (pr1(y2) = x) & (card (pr2(y2)) > card (pr2(y1)))})}'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1074#1077#1088#1096#1080#1085#1099' '#1073#1086#1083#1100#1096#1077#1075#1086' '#1088#1072#1085#1075#1072
      TraceFrom = (
        BQM0LLYN34FDQEJCH4QQUXMXII)
    end
    object HX4PKFXVRWNSQKYUAMNAMFLYJ5: TSynthesizedConstituent
      CName = 'C1'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1076#1083#1080#1090#1077#1083#1100#1085#1086#1089#1090#1077#1081
      TraceFrom = (
        GGKHQCQXU4J4TSKCK5EMA3LE2U)
    end
    object GEHJPEE5VYEQS40SKSQWYENSN5: TSynthesizedConstituent
      CName = 'C2'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1085#1072#1090#1091#1088#1072#1083#1100#1085#1099#1093' '#1095#1080#1089#1077#1083
      TraceFrom = (
        FJVAU50KYOTLTU13RJKDPXWCOZ)
    end
    object AMU1GFHY5XLWTUJBOCJCQ2445C: TSynthesizedConstituent
      CName = 'D2'
      Expression = #8492'((X1'#215'X1)'#215'(X1'#215'X1)'#215'C1)'
      Interpretation = 
        #1057#1077#1090#1100' '#1088#1072#1073#1086#1090': '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1090#1088#1086#1077#1082' "'#1085#1072#1095#1072#1083#1100#1085#1086#1077' '#1089#1086#1089#1090#1086#1103#1085#1080#1077', '#1082#1086#1085#1077#1095#1085#1086#1077' '#1089#1086#1089#1090#1086 +
        #1103#1085#1080#1077', '#1087#1083#1072#1085#1086#1074#1072#1103' '#1076#1083#1080#1090#1077#1083#1100#1085#1086#1089#1090#1100'"'
      TraceFrom = (
        EYQEVQ0SAWEWR2LEQRQQNGBCHU)
    end
    object GUIQPVWKRPMXSCI52YBVGAAG15: TSynthesizedConstituent
      CName = 'Ax4'
      Expression = 'Pr1(D2)'#8838'D1'
      TraceFrom = (
        DV2GIQYQYZ2PRAI50BVYRHUKYG)
    end
    object DESPYVATZLJOQ0YUCFFDSMCJJR: TSynthesizedConstituent
      CName = 'Ax5'
      Expression = 'Pr2(D2)'#8838'D1'
      TraceFrom = (
        CVGYOKXU0O5VTQI01GFGWY30I0)
    end
    object FHOZ2C3F3B4GQKYFFJDVHMJWAG: TSynthesizedConstituent
      CName = 'D3'
      Expression = #8492'((X1'#215'X1)'#215'C2)'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1089#1086#1089#1090#1086#1103#1085#1080#1077', '#1077#1075#1086' '#1085#1086#1084#1077#1088
      TraceFrom = (
        EKEC5THZQAKTRKJ0ML35XMC12H)
    end
    object F23J3LOVVYKVREJVP5PDDHBOZC: TSynthesizedConstituent
      CName = 'Ax6'
      Expression = 'Pr1(D3)'#8838'D1'
      TraceFrom = (
        HRGPDI5QJUYPTGYPIBPB05NYPG)
    end
    object CHJEI3BJDNQ0RUYKHN2XRR3IQZ: TSynthesizedConstituent
      CName = 'Ax7'
      Expression = #8704'E'#8838'D2(Pr1(E)'#8800'Pr2(E))'
      Interpretation = #1054#1090#1089#1091#1090#1089#1090#1074#1080#1077' '#1094#1080#1082#1083#1086#1074' '#1080' '#1087#1077#1090#1077#1083#1100
      TraceFrom = (
        ADUFN1VSDDY0RW0CPLU3QY3KOB)
    end
    object EG01IMD4UGWQRS0TXCPCPWG32P: TSynthesizedConstituent
      CName = 'Ax8'
      Expression = 'card(Pr1(D2)\Pr2(D2)) = 1'
      Interpretation = #1057#1091#1097#1077#1089#1090#1074#1091#1077#1090' '#1077#1076#1080#1085#1089#1090#1074#1077#1085#1085#1086#1077' '#1085#1072#1095#1072#1083#1100#1085#1086#1077' '#1089#1086#1089#1090#1086#1103#1085#1080#1077
      TraceFrom = (
        FMXB55U1CVT5TQLIBVNDRGPN5X)
    end
    object FRGTOAEQX1J2TWL1YMQRZWAMPZ: TSynthesizedConstituent
      CName = 'Ax9'
      Expression = 'card(Pr2(D2)\Pr1(D2)) = 1'
      Interpretation = #1057#1091#1097#1077#1089#1090#1074#1091#1077#1090' '#1077#1076#1080#1085#1089#1090#1074#1077#1085#1085#1086#1077' '#1082#1086#1085#1077#1095#1085#1086#1077' '#1089#1086#1089#1090#1086#1103#1085#1080#1077
      TraceFrom = (
        AHVMVLWJR341T4IALN2SQPJJOK)
    end
    object EGMAF0Y4BF4ITA0VCKNEQ1PZYR: TSynthesizedConstituent
      CName = 'Ax10'
      Expression = #8704'x'#8712'D1((x'#8712'Pr1(D2))'#8744'(x'#8712'Pr2(D2)))'
      Interpretation = #1053#1077' '#1089#1091#1097#1077#1089#1090#1074#1091#1077#1090' '#1089#1086#1089#1090#1086#1103#1085#1080#1081', '#1085#1077' '#1089#1074#1103#1079#1072#1085#1085#1099#1093' '#1088#1072#1073#1086#1090#1086#1081
      TraceFrom = (
        HZR5BILREX0CTGYLHUTLMVSVML)
    end
    object HSRVP4OJDADTT4JIWZVPX2KURE: TSynthesizedConstituent
      CName = 'Ax11'
      Expression = #8704'x'#8712'D1,'#8707'c'#8712'C2((x,c)'#8712'D3)'
      Interpretation = #1042#1089#1077' '#1089#1086#1089#1090#1086#1103#1085#1080#1103' '#1087#1088#1086#1085#1091#1084#1077#1088#1086#1074#1072#1085#1099
      TraceFrom = (
        DSVU2PBNNBNWQK05MSJER0CQ54)
    end
    object HIQD3NVJDRBGTSKYHRCQ3N4CZK: TSynthesizedConstituent
      CName = 'Ax12'
      Expression = #8704'd1'#8712'D3,'#8704'd2'#8712'D3((pr1(d1)=pr1(d2))'#8658'(pr2(d1)=pr2(d2)))'
      Interpretation = #1057#1086#1089#1090#1086#1103#1085#1080#1103' '#1087#1088#1086#1085#1091#1084#1077#1088#1086#1074#1072#1085#1099' '#1077#1076#1080#1085#1089#1090#1074#1077#1085#1085#1099#1084' '#1086#1073#1088#1072#1079#1086#1084
      TraceFrom = (
        FG45IRLSEEDPTWJSBCT3YWTDPS)
    end
    object BAW4HYE4K2MOS2L2ADHFLY05X2: TSynthesizedConstituent
      CName = 'Ax13'
      Expression = 
        #8704'd'#8712'D2,'#8704'd1'#8712'D3,'#8704'd2'#8712'D3((pr1(d)=pr1(d1))&(pr2(d)=pr1(d2)))'#8658'(pr2(d1)>' +
        'pr2(d2))'
      Interpretation = #1040#1082#1089#1080#1086#1084#1072' '#1085#1072' '#1085#1091#1084#1077#1088#1072#1094#1080#1102' '#1089#1086#1089#1090#1086#1103#1085#1080#1081
      TraceFrom = (
        BO3VS0N5I1A3QAZW55J30GDDAO)
    end
    object F52FMNK0TH0FSGJ1WETBKDSZKV: TSynthesizedConstituent
      CName = 'Tr8'
      Expression = 
        '{t '#8712'(X1'#215'X1)'#215#8492'((X1'#215'X1)) | pr2(t) = {x '#8712' (X1'#215'X1)|'#8707'd'#8712'D2((pr1(d)=pr1' +
        '(t))&(pr2(d)=x)) }}'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1089#1086#1089#1090#1086#1103#1085#1080#1077', '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1086#1089#1090#1086#1103#1085#1080#1081', '#1085#1077#1087#1086#1089#1088#1077#1076#1089#1090#1074#1077#1085#1085#1086' '#1089 +
        #1083#1077#1076#1091#1102#1097#1080#1093' '#1079#1072' '#1076#1072#1085#1085#1099#1084
      TraceFrom = (
        CNJNG3BLTTABSMLMWMHCTEVVGJ)
    end
    object BBN1FATP4H1DRMJLXO5CIHRMQG: TSynthesizedConstituent
      CName = 'Tr9'
      Expression = 
        '{t '#8712'(X1'#215'X1)'#215#8492'((X1'#215'X1)) | pr2(t) = {x '#8712' (X1'#215'X1)|'#8707'd'#8712'D2((pr2(d)=pr1' +
        '(t))&(pr1(d)=x)) }}'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1089#1086#1089#1090#1086#1103#1085#1080#1077', '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1086#1089#1090#1086#1103#1085#1080#1081', '#1085#1077#1087#1086#1089#1088#1077#1076#1089#1090#1074#1077#1085#1085#1086' '#1087 +
        #1088#1077#1076#1096#1077#1089#1090#1074#1091#1102#1097#1080#1093' '#1076#1072#1085#1085#1086#1084#1091
      TraceFrom = (
        DPTEWIAYNLKCRSLENVK5Z0GTOC)
    end
    object FCZNUKTESECAR20DXA1IASLJZE: TSynthesizedConstituent
      CName = 'D4'
      Expression = #8492'((X1'#215#8492'(X1))'#215'(X1'#215#8492'(X1)))'
      TraceFrom = (
        BCZ0SBDN5RJTQQ0PDDCDO2YLMY)
      TraceTo = (
        FNRKUDVC0TBUQ40G4ZZGJN5J15
        FNRA2RY140RGQO0ZXDS4HOXKPF)
    end
    object FNRKUDVC0TBUQ40G4ZZGJN5J15: TSynthesizedConstituent
      CName = 'Ax14'
      Expression = 'Pr1(D4)'#8838'Tr6'
      TraceFrom = (
        FCZNUKTESECAR20DXA1IASLJZE)
    end
    object FNRA2RY140RGQO0ZXDS4HOXKPF: TSynthesizedConstituent
      CName = 'Ax15'
      Expression = 'Pr2(D4)'#8838'Tr6'
      TraceFrom = (
        FCZNUKTESECAR20DXA1IASLJZE)
    end
    object ABQNPBEJ2MNURAYAQ0LDFM3WVB: TSynthesizedConstituent
      CName = 'Tr10'
      Expression = 'Pr1(D4)\Pr2(D4)'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1085#1072#1095#1072#1083#1100#1085#1099#1093' '#1074#1077#1088#1096#1080#1085
      TraceFrom = (
        GOPQMF2RRPMKSULWW2JO1XREMP)
    end
    object EXBQLLRJZHGQSMZM3UTG5NE0ZO: TSynthesizedConstituent
      CName = 'Ax16'
      Expression = 'card(Tr10)=1'
      Interpretation = #1057#1091#1097#1077#1089#1090#1074#1091#1077#1090' '#1077#1076#1080#1085#1089#1090#1074#1077#1085#1085#1072#1103' '#1085#1072#1095#1072#1083#1100#1085#1072#1103' '#1074#1077#1088#1096#1080#1085#1072
      TraceFrom = (
        ERNPM2YSMH4XSMZLZIA54QRGXF)
    end
    object DX0JYHIHHZOIQGYXKYFMDAVE4G: TSynthesizedConstituent
      CName = 'Ax17'
      Expression = #8704'E'#8838'D4(Pr1(E)'#8800'Pr2(E))'
      Interpretation = #1054#1090#1089#1091#1090#1089#1090#1074#1080#1077' '#1094#1080#1082#1083#1086#1074' '#1080' '#1087#1077#1090#1077#1083#1100
      TraceFrom = (
        EZOJAMZDOYK4S4KLO3ZB5HBX5Y)
    end
    object HEBINOWUHH5ASYLFCEXPVX3XYW: TSynthesizedConstituent
      CName = 'Ax18'
      Expression = #8704'd1'#8712'D4,'#8704'd2'#8712'D4((pr2(d1)=pr2(d2))'#8658'(d1=d2))'
      Interpretation = #1042' '#1074#1077#1088#1096#1080#1085#1091' '#1084#1086#1078#1077#1090' '#1074#1093#1086#1076#1080#1090#1100' '#1090#1086#1083#1100#1082#1086' '#1086#1076#1085#1072' '#1076#1091#1075#1072
      TraceFrom = (
        C0MKCXMNPQ4OSQZDYEACGNTSTA)
    end
    object DKO5514FGC3VQGKSRAWBUMYHVT: TSynthesizedConstituent
      CName = 'X2'
      TraceFrom = (
        A1NK3LVYONGRQOJ2VUQ5UJ1WIF)
    end
    object FRJQVDXOOVZPSO1PBXBS3EZZGT: TSynthesizedConstituent
      CName = 'D5'
      Expression = #8492'(((X1'#215#8492'(X1))'#215'(X1'#215#8492'(X1)))'#215'X2)'
      TraceFrom = (
        E2MX4AWL2LLSSCYW2LAWZYVMQX)
      TraceTo = (
        G0X4IOT4FW4LSOZYTWH4YWXBWX
        ELPWZLHFUCIJTKLQ4EHAYDQBRI)
    end
    object G0X4IOT4FW4LSOZYTWH4YWXBWX: TSynthesizedConstituent
      CName = 'Ax19'
      Expression = 'Pr1(Pr1(D5))'#8838'Tr6'
      TraceFrom = (
        FRJQVDXOOVZPSO1PBXBS3EZZGT)
    end
    object ELPWZLHFUCIJTKLQ4EHAYDQBRI: TSynthesizedConstituent
      CName = 'Ax20'
      Expression = 'Pr2(Pr1(D5))'#8838'Tr6'
      TraceFrom = (
        FRJQVDXOOVZPSO1PBXBS3EZZGT)
    end
    object GPXX0JAAJCLIRY0O0XFN45ORRG: TSynthesizedConstituent
      CName = 'Ax21'
      Expression = 'Pr1(D5)'#8838'D4'
      TraceFrom = (
        D0G3CVTO2FZRS2LJRSVJJOLISK)
    end
    object E5YP1NB0TUPMREJLSGHJALS0BU: TSynthesizedConstituent
      CName = 'Ax22'
      Expression = #8704'x'#8712'D4,'#8707'y'#8712'X2((x,y)'#8712'D5)'
      Interpretation = #1042#1089#1102#1076#1091#1086#1087#1088#1077#1076#1077#1083#1105#1085#1085#1086#1089#1090#1100
      TraceFrom = (
        DXSZOGKARRMDRGKPIFBY5OOJL0)
    end
    object CFJ1CPGDWOFGSY0HSX03ZJJPGJ: TSynthesizedConstituent
      CName = 'Ax23'
      Expression = #8704'd1'#8712'D5,'#8704'd2'#8712'D5((pr1(d1)=pr1(d2))'#8658'(pr2(d1)=pr2(d2)))'
      Interpretation = #1055#1088#1103#1084#1072#1103' '#1086#1076#1085#1086#1079#1085#1072#1095#1085#1086#1089#1090#1100
      TraceFrom = (
        CSSPW524U11LSYISBVQUJA4SYA)
    end
    object CXGIC1KS1YEDRWLF3VFFDOTTMW: TSynthesizedConstituent
      CName = 'Tr11'
      Expression = 'Pr2(D4)\Pr1(D4)'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1082#1086#1085#1077#1095#1085#1099#1093' '#1074#1077#1088#1096#1080#1085
      TraceFrom = (
        ADZ3TJQMXHB2QQLLNOL44U1PWI)
    end
    object CIHOFXDYRTV0QAZG3NCQ235G3E: TSynthesizedConstituent
      CName = 'Tr12'
      Expression = 'debool(Tr10)'
      Interpretation = #1053#1072#1095#1072#1083#1100#1085#1072#1103' '#1074#1077#1088#1096#1080#1085#1072
      TraceFrom = (
        E0RNT2LPXLM3SA1GIBSASXXEJ2)
    end
    object DOI2TACV2XHAQMJ2OBIAYQ42H4: TSynthesizedConstituent
      CName = 'Tr13'
      Expression = 
        '{t '#8712' (X1'#215#8492'(X1)) '#215' '#8492'((X1'#215#8492'(X1))) | pr2(t) = {x '#8712' (X1'#215#8492'(X1)) | (pr' +
        '1(t), x) '#8712' D4}}'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1074#1077#1088#1096#1080#1085', '#1085#1077#1087#1086#1089#1088#1077#1076#1089#1090#1074#1077#1085#1085#1086' '#1089#1083#1077#1076#1091#1102 +
        #1097#1080#1093' '#1079#1072' '#1076#1072#1085#1085#1086#1081
      TraceFrom = (
        DFMNELMGFNHNQYYGIEQSYYJ0UL)
    end
    object FUKPLWWCJ2MASI0WYXAV2DCXOZ: TSynthesizedConstituent
      CName = 'Tr14'
      Expression = 
        '{t '#8712'(X1'#215#8492'(X1))'#215#8492'((X1'#215#8492'(X1))) | pr2(t) = {x '#8712' (X1'#215#8492'(X1))|'#8707'E'#8838'D4((P' +
        'r1(E)\Pr2(E)=bool(pr1(t)))&(Pr2(E)\Pr1(E)=bool(x))) }}'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1077#1105' '#1085#1080#1078#1085#1077#1077' '#1079#1072#1084#1099#1082#1072#1085#1080#1077
      TraceFrom = (
        ETOF2CY3LJHES40RBWAIB5SF4I)
    end
    object D5DI2XZ5TR2RRSYZ0AD0ZZOKOZ: TSynthesizedConstituent
      CName = 'Tr15'
      Expression = 
        '{t '#8712'(X1'#215#8492'(X1))'#215#8492'((X1'#215#8492'(X1))) | pr2(t) = {x '#8712' (X1'#215#8492'(X1))|'#8707'E'#8838'D4((P' +
        'r2(E)\Pr1(E)=bool(pr1(t)))&(Pr1(E)\Pr2(E)=bool(x))) }}'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1077#1105' '#1074#1077#1088#1093#1085#1077#1077' '#1079#1072#1084#1099#1082#1072#1085#1080#1077
      TraceFrom = (
        HQMZMMCR1ZY1QO0QG0DRML0XNF)
    end
    object GY320F1IPICNR01Z10NXBC11KK: TSynthesizedConstituent
      CName = 'Tr16'
      Expression = 
        '{t '#8712'(X1'#215#8492'(X1))'#215#8492'((X1'#215#8492'(X1))) | '#8707'y1'#8712'Tr15 (pr1(y1) = pr1(t))&(pr2(' +
        't)={x '#8712' (X1'#215#8492'(X1))| '#8707'y2'#8712'Tr15 (pr1(y2) = x) & (card (pr2(y2)) > c' +
        'ard (pr2(y1)))})}'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1074#1077#1088#1096#1080#1085#1099' '#1073#1086#1083#1100#1096#1077#1075#1086' '#1088#1072#1085#1075#1072
      TraceFrom = (
        GPGUEZ3PNMKBQKLQ20Y4LSJE2S)
    end
    object C5GU04FVBAAXSQJRFRV3WJYZQ3: TSynthesizedConstituent
      CName = 'Tr17'
      Expression = 'Pr1(D5)'
      Interpretation = #1054#1073#1083#1072#1089#1090#1100' '#1086#1087#1088#1077#1076#1077#1083#1077#1085#1080#1103
      TraceFrom = (
        BF35PTJIPWXXS2KMEE2KJM4JAY)
    end
    object BXVA4JRMBUVTS4J1IV2OHF1D0E: TSynthesizedConstituent
      CName = 'Tr18'
      Expression = 'Pr2(D5)'
      Interpretation = #1054#1073#1083#1072#1089#1090#1100' '#1079#1085#1072#1095#1077#1085#1080#1081
      TraceFrom = (
        FWAFN23FMPFZT01SFOG0C3R5UO)
    end
    object CEXV2XPJYCPMRSKFETQARONFFE: TSynthesizedConstituent
      CName = 'Tr19'
      Expression = 
        '{t '#8712' X2 '#215' '#8492'(((X1'#215#8492'(X1))'#215'(X1'#215#8492'(X1)))) | pr2(t) = {x '#8712' ((X1'#215#8492'(X1))' +
        #215'(X1'#215#8492'(X1))) | ( x, pr1(t) ) '#8712' D5 } }'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1079#1085#1072#1095#1077#1085#1080#1077' '#1092#1091#1085#1082#1094#1080#1080'; '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1072#1088#1075#1091#1084#1077#1085#1090#1086#1074', '#1087#1088#1080' '#1082#1086#1090#1086#1088 +
        #1099#1093' '#1092#1091#1085#1082#1094#1080#1103' '#1087#1088#1080#1085#1080#1084#1072#1077#1090' '#1076#1072#1085#1085#1086#1077' '#1079#1085#1072#1095#1077#1085#1080#1077'.'
      TraceFrom = (
        GDL02IY343RLSSZ4AQEZVQ5ZW0)
    end
  end
  object HNQ4AL00W0L1RE0TJ3SGVBLQ2A: TMGraph
    Caption = 'M-'#1075#1088#1072#1092' 2'
    Scheme = _8BB2BF6192384331A80249A2603056D3
    PageIndex = 5
    VertScroll = 0
    ScaleFactor = 1.000000000000000000
    object GWJWJF3OKLICRYYVK2S0RQ0KFH: TMNode
      Caption = 'X1'
      Label_.DX = 14.000000000000000000
      Label_.DY = 14.000000000000000000
      X = 60.000000000000000000
      Y = 890.000000000000000000
    end
    object DBPK3KNWYMQPSGLTPM3VBK4ZD1: TMNode
      Caption = 'C1'
      Label_.DX = 14.000000000000000000
      Label_.DY = 14.000000000000000000
      X = 210.000000000000000000
      Y = 896.000000000000000000
    end
    object HMXSZW5KLOZ3TIJUSKTHJD5EWC: TMNode
      Caption = 'C2'
      Label_.DX = 14.000000000000000000
      Label_.DY = 14.000000000000000000
      X = 291.000000000000000000
      Y = 885.000000000000000000
    end
    object FXTWWTKTOVSYRUZMY5D2AG3ANU: TMNode
      Label_.DX = 14.000000000000000000
      Label_.DY = 14.000000000000000000
      X = 60.000000000000000000
      Y = 830.000000000000000000
      object ANNEG50BRD4VRAZB2HFT1WRLAV: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.GWJWJF3OKLICRYYVK2S0RQ0KFH
      end
    end
    object CN2NE3YOYI0IRE1O5PKCWKKBST: TMNode
      Label_.DX = 14.000000000000000000
      Label_.DY = 14.000000000000000000
      X = 180.000000000000000000
      Y = 806.000000000000000000
      object FVDJCD22GRPRR2JWIOPZZM1OX0: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.GWJWJF3OKLICRYYVK2S0RQ0KFH
      end
      object HMNR1S1NGHTHQK05KYWJB3QORV: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.GWJWJF3OKLICRYYVK2S0RQ0KFH
      end
      object AB1WGVWXCBW0QG11XMI2ZYBF0D: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.DBPK3KNWYMQPSGLTPM3VBK4ZD1
      end
    end
    object HDKWIIIHHG02QMLCYUNOGDKKWV: TMNode
      Label_.DX = 14.000000000000000000
      Label_.DY = 14.000000000000000000
      X = 300.000000000000000000
      Y = 818.000000000000000000
      object D2SIYPL53HANTUZRXQK5J4EMLQ: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.GWJWJF3OKLICRYYVK2S0RQ0KFH
      end
      object BBK3O5JVCXK4RQIRR3YOIIK1OJ: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.HMXSZW5KLOZ3TIJUSKTHJD5EWC
      end
    end
    object DRSTIYT3SZG5TOLXEOAMBRV4QE: TMNode
      Label_.DX = 14.000000000000000000
      Label_.DY = 14.000000000000000000
      X = 60.000000000000000000
      Y = 770.000000000000000000
      object H2ND5HOBHJP1RGJBPL21ULS1GU: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.GWJWJF3OKLICRYYVK2S0RQ0KFH
      end
      object AS1432Q4JQE3QY1FPUZVJELFUW: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.FXTWWTKTOVSYRUZMY5D2AG3ANU
      end
    end
    object GZ0AKBV45V2DSMIKK5XAIRWKAY: TMNode
      Label_.DX = 14.000000000000000000
      Label_.DY = 14.000000000000000000
      X = 169.000000000000000000
      Y = 700.000000000000000000
      object FFUKI0XI13HDSGJICWM0DRDV32: TMVariable
        Caption = 'D1'
        Label_.DX = 36.000000000000000000
        Label_.Caption = 'D1'
      end
      object DBNFIAAQ3BFNSE1QHUS1IW00ZS: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.CN2NE3YOYI0IRE1O5PKCWKKBST
      end
    end
    object ABA5EGHHWZXKRWIAY511QG1ROM: TMNode
      Label_.DX = 14.000000000000000000
      Label_.DY = 14.000000000000000000
      X = 287.000000000000000000
      Y = 722.000000000000000000
      object D4PQ3O4H1V32QUJGFTX0SEDB1K: TMVariable
        Caption = 'D2'
        Label_.DX = 36.000000000000000000
        Label_.Caption = 'D2'
      end
      object HLIGD2NRWCCAQSYGZPDLXIGKNB: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.HDKWIIIHHG02QMLCYUNOGDKKWV
      end
    end
    object BKYJO0IZW5TCRSINQOUBN4G4LT: TMNode
      Label_.DX = 14.000000000000000000
      Label_.DY = 14.000000000000000000
      X = 60.000000000000000000
      Y = 710.000000000000000000
      object AI1SQTIL5CCNRI1QWCMBHE4XTZ: TMVariable
        Caption = 'Tr1'
        Label_.DX = 36.000000000000000000
        Label_.Caption = 'Tr1'
      end
      object GLASEZL2B0TYQILCOZWHIWD2RZ: TMVariable
        Caption = 'Tr2'
        Label_.DX = 31.592972228053420000
        Label_.DY = -17.259319389751310000
        Label_.Caption = 'Tr2'
      end
      object GOALUDZDZ4QBQMIZMHB0AVJ1IE: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.DRSTIYT3SZG5TOLXEOAMBRV4QE
      end
    end
  end
end
